Unternehmensgründungen: Mehr Elan nötig

REM (Reduce Elan Machine): Core of the New ELAN Compiler

ELAN is a powerful language and environment for specifying and prototyping deduction systems in a language based on rewrite rules controlled by strategies. It offers a natural and simple logical framework for the combination of the computation and deduction paradigms. It supports the design of theorem provers, logic programming languages, constraint solvers and decision procedures. ELAN takes f...

Multibiometrie - mehr als nur multimodal

In der Biometrie bezeichnet „multimodal“ die Verwendung von mehreren biometrischen Verfahren zur Authentifizierung von Personen. Multimodalität umfasst jedoch nur ein Teil der Möglichkeiten, Ergebnisse in einem biometrischen System zu kombinieren. Dieser Artikel zeigt weitere Methoden der Multibiometrie. Darüber hinaus wird dargestellt, auf welchen Ebenen Fusionen von (Zwischen-)Ergebnissen erf...

Mehr Präzision bei der Grunddüngung

Soil analysis based precise application of fertilizers is one strategy of farmers to increase efficiency in plant production. Sample data are processed on the farm using standard GIS tools. Practical aspects to be observed in variable rate application of P, K, and Mg fertilisers are discussed and compared with results of a research project conducted at farm level. 1 Grundbodenuntersuchung Die D...

Input/Output for ELAN

We show how to add Input/Output capabilities to the ELAN rewriting interpreter using a rewrite speciication of-calculus. This I/O system has the advantage of being totally explicit and t in the same semantic framework than any other \application program". An actual implementation shows the eeectiveness of this approach.

Elan Drc Ii